Type Objects

• Syntax:

  OBJ obj_name "description" : [type_name] := {: value <- [data] :};
  

  "obj_name" is the name of the object
  "description" is a string expression
  "type_name" is the type
  "data" is the value assigned to the object. The syntax depends on the type of the object.

• Description:

  A type object is an instance of a type. An object binds the different parts of a type structure to concrete values.

  Examples:

  OBJ i : Integer := {: value <- 3 :};
  

  OBJ o : Real := {: value <- 3.1415926 :};
  

  OBJ v : Real[4;] := [{: value <- 2 :}, {: value <- 3 :},{: value <- 4 :}, {: value <- 5 :}];
  
  TYPE PhysicalQuantityType "The type of any physical quantity" =
  RECORD
  {
    Quantity : QuantityType;
    Unit : UnitType;
  };
  
  OBJ Length : PhysicalQuantityType :=
  {
    Quantity <- "meter";
    Unit <- "m";
  };